Инфимум и супремум
Инфимум
Определение:
**Инфимум** подмножества $B \subseteq A$ — это его наибольшая нижняя грань.
Супремум
Определение:
**Супремум** подмножества $B \subseteq A$ — это его наименьшая верхняя грань.
Определение:
**Инфимум** подмножества $B \subseteq A$ — это его наибольшая нижняя грань.
Определение:
**Супремум** подмножества $B \subseteq A$ — это его наименьшая верхняя грань.